Combinatorial proof